____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Riemannsche Submersion
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Im mathematischen Gebiet der Differentialgeometrie bezeichnet man als riemannsche Submersion eine die riemannsche Metrik respektierende Submersion einer riemannschen Mannigfaltigkeit auf eine andere, die also lokal wie eine orthogonale Projektion auf den Tangentialraum der zweiten Mannigfaltigkeit aussieht.
Contents
β’ Definition
β’ Beispiele
β’ OβNeill-Formel
β’ Literatur
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Seien ( M , g ) {\displaystyle (M,g)} und ( N , h ) {\displaystyle (N,h)} zwei riemannsche Mannigfaltigkeiten und
f : : M β β N {\displaystyle f\colon M\to N}
eine Submersion.
Dann heiΓt f {\displaystyle f} eine riemannsche Submersion, wenn der Isomorphismus
d f : : k e r ( d f ) β₯ β₯ β β T N {\displaystyle df\colon \mathrm {ker} (df)^{\perp }\rightarrow TN}
eine Isometrie ist.
Konstruktion von Metriken auf QuotientenrΓ€umen
Eine Lie-Gruppe G {\displaystyle G} wirke isometrisch, frei und eigentlich diskontinuierlich auf einer riemannschen Mannigfaltigkeit ( M , g ) {\displaystyle (M,g)} . Der Quotientenraum N = M / G {\displaystyle N=M/G} ist eine differenzierbare Mannigfaltigkeit und man hat einen Isomorphismus d f : : k e r ( d f ) β₯ β₯ β β T N {\displaystyle df\colon \mathrm {ker} (df)^{\perp }\rightarrow TN} .
Eine Riemannsche Metrik auf N {\displaystyle N} wird eindeutig festgelegt durch, die Bedingung, dass dieser Isomorphismus eine Isometrie sein soll. Sie wird als Quotientenmetrik bezeichnet. Mit dieser Metrik wird die Quotientenabbildung f : : M β β N {\displaystyle f\colon M\to N} eine Riemannsche Submersion.
Beispiele
Die Fubini-Study-Metrik auf dem komplex-projektiven Raum C P n = S 2 n + 1 / S 1 {\displaystyle \mathbb {C} P^{n}=S^{2n+1}/S^{1}} ist die Quotientenmetrik fΓΌr die Standard-Wirkung der Kreisgruppe auf der βrunden SphΓ€reβ, also der SphΓ€re konstanter SchnittkrΓΌmmung +1. Mit dieser Metrik ist die Quotientenabbildung
f : : S 2 n + 1 β β C P n {\displaystyle f\colon S^{2n+1}\to \mathbb {C} P^{n}}
also eine Riemannsche Submersion.
FΓΌr n = 1 {\displaystyle n=1} ist das die Hopf-Faserung der StandardsphΓ€re S 3 {\displaystyle S^{3}} : die Hopf-Abbildung
H : : S 3 β β S 2 {\displaystyle H\colon S^{3}\to S^{2}}
gibt eine Riemannsche Submersion.
OβNeill-Formel
Die SchnittkrΓΌmmung des Bildraumes einer riemannschen Submersion kann aus der SchnittkrΓΌmmung des Urbildraumes mit der OβNeill-Formel berechnet werden:
K N ( X , Y ) = K M ( X ~ ~ , Y ~ ~ ) + 3 4 | [ X ~ ~ , Y ~ ~ ] V | 2 {\displaystyle K_{N}(X,Y)=K_{M}({\tilde {X}},{\tilde {Y}})+{\tfrac {3}{4}}|[{\tilde {X}},{\tilde {Y}}]^{V}|^{2}} .
Hierbei sind X , Y {\displaystyle X,Y} orthonormale Vektorfelder auf N {\displaystyle N} , X ~ ~ , Y ~ ~ {\displaystyle {\tilde {X}},{\tilde {Y}}} ihre horizontalen Hochhebungen auf M {\displaystyle M} , [ β β , β β ] {\displaystyle [*,*]} bezeichnet den Kommutator von Vektorfeldern und Z V {\displaystyle Z^{V}} ist die Projektion des Vektorfeldes Z {\displaystyle Z} auf die vertikale Distribution.
Literatur
β’ Jeff Cheeger, David G. Ebin: Comparison theorems in Riemannian geometry. Revised reprint of the 1975 original. AMS Chelsea Publishing, Providence, RI, 2008. ISBN 978-0-8218-4417-5